Formal verification

Results: 829



#Item
31Formal Verification of Probabilistic Algorithms Joe Hurd Trinity College University of Cambridge

Formal Verification of Probabilistic Algorithms Joe Hurd Trinity College University of Cambridge

Add to Reading List

Source URL: www.gilith.com

- Date: 2007-08-20 14:55:54
    32Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Excerpt More information

    Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Excerpt More information

    Add to Reading List

    Source URL: assets.cambridge.org

    - Date: 2008-10-20 04:00:11
      33Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Table of Contents More information

      Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Table of Contents More information

      Add to Reading List

      Source URL: assets.cambridge.org

      - Date: 2008-10-20 04:00:11
        34Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Index More information

        Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Index More information

        Add to Reading List

        Source URL: assets.cambridge.org

        - Date: 2008-10-20 04:00:11
          35Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden

          Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden

          Add to Reading List

          Source URL: prosper.sics.se

          - Date: 2013-10-17 09:26:32
            36Finding Security Vulnerabilities in a Network Protocol Using Formal Verification Methods Orna Grumberg Technion, Israel Joint work with Adi Sosnovich and Gabi Nakibly

            Finding Security Vulnerabilities in a Network Protocol Using Formal Verification Methods Orna Grumberg Technion, Israel Joint work with Adi Sosnovich and Gabi Nakibly

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2013-12-09 08:45:52
              37Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Doug Weitz

              Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Doug Weitz

              Add to Reading List

              Source URL: conferences.sigcomm.org

              - Date: 2016-09-01 13:44:42
                38Simulating Structual Reasoning on the CNF-Level Symposium on Structure in Hard Combinatorial Problems TU Vienna, Austria Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

                Simulating Structual Reasoning on the CNF-Level Symposium on Structure in Hard Combinatorial Problems TU Vienna, Austria Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

                Add to Reading List

                Source URL: fmv.jku.at

                - Date: 2016-12-16 21:49:26
                  39TRANSACTIONS ON CAD 1 A Survey of Automated Techniques for Formal Software Verification

                  TRANSACTIONS ON CAD 1 A Survey of Automated Techniques for Formal Software Verification

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2015-01-20 02:28:40
                    40DepQBF: A Dependency-Aware QBF Solver (System Description) Florian Lonsing and Armin Biere Institute for Formal Models and Verification (FMV) Johannes Kepler University, Linz, Austria http://fmv.jku.at

                    DepQBF: A Dependency-Aware QBF Solver (System Description) Florian Lonsing and Armin Biere Institute for Formal Models and Verification (FMV) Johannes Kepler University, Linz, Austria http://fmv.jku.at

                    Add to Reading List

                    Source URL: www.kr.tuwien.ac.at

                    - Date: 2013-05-02 03:19:04